Issue2808.agda:6,1-18
Illegal declaration(s) before top-level module
